|
Frege is a non-strict, pure functional programming language for the Java virtual machine in the spirit of Haskell. It is considered a Haskell dialect or simply "a" Haskell for the Java virtual machine.〔 Frege has a strong static type system with type inference. Higher rank types are supported, though type annotations are required for that.〔(The Frege project )〕 Frege programs are compiled to Java bytecode and run in a Java virtual machine. Existing Java classes and methods can be used seamlessly from Frege after their types have been properly declared. The language was designed by Ingo Wechsung,〔(What is frege (or what will it be)? ) Historical post.〕 who named it after the German mathematician, logician and philosopher Gottlob Frege. ''(Unrelated to the (Frege Program Prover )).'' ==Comparison with Haskell== A summary of differences between Frege and Haskell is listed at the (Differences between Frege and Haskell ). The type String is custom defined as an interface with Java strings. String (++) is bound to Java's String (+).〔(PreludeBase.fr )〕 Conversion functions to Haskell correspondent: packed :: () -> String unpacked :: String -> () Literals: -- boolean literals true false are not capitalized Frege's Monad class does not include the method ''fail'', included in a separate class MonadFail.〔(Monadic related functionality )〕 Numeric classes for floating point types are also different. Haskell's classes Fractional, RealFrac, RealFloat and Floating are not defined. Haskell's class Real defines ''toRational'' while Frege's defines (/):〔 class Real (Num r) => r where -- classname precedes context --- the division operator (/) :: r -> r -> r 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Frege (programming language)」の詳細全文を読む スポンサード リンク
|